This is a software package for the paper "ADTLang: A Programming Language Approach to Attack-Defense Tree". It contains the source code for and the running example of the paper. The running example is commented and contains information about how to reproduce the figures of the paper
ADTool is free, open source software assisting graphical modeling and quantitative analysis of secur...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is an artifact for the research paper “VariantInc: Automating the Integration of Versioned Soft...
This is a research artifact for the paper Disrupting Software Ecosystems: Case Studies on the Impact...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This is the replication package for the paper: "Gamify4Fun: Evidence-based Method for Gamifying Exis...
This is the accompanying artifact for the paper "TASTyTruffle: Just-in-time Specialization of Parame...
This is the artifact repo for paper: On the Effectiveness of Automated Program Repair: An Extensive ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
This is the computer code used to produce the results in the Wind Energy paper "Analysis of leading ...
This is the artifact for the paper "Elimination (a,b)-trees with fast, durable updates" published in...
ADTool is free, open source software assisting graphical modeling and quantitative analysis of secur...
ADTool is free, open source software assisting graphical modeling and quantitative analysis of secur...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is an artifact for the research paper “VariantInc: Automating the Integration of Versioned Soft...
This is a research artifact for the paper Disrupting Software Ecosystems: Case Studies on the Impact...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This is the replication package for the paper: "Gamify4Fun: Evidence-based Method for Gamifying Exis...
This is the accompanying artifact for the paper "TASTyTruffle: Just-in-time Specialization of Parame...
This is the artifact repo for paper: On the Effectiveness of Automated Program Repair: An Extensive ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
This is the computer code used to produce the results in the Wind Energy paper "Analysis of leading ...
This is the artifact for the paper "Elimination (a,b)-trees with fast, durable updates" published in...
ADTool is free, open source software assisting graphical modeling and quantitative analysis of secur...
ADTool is free, open source software assisting graphical modeling and quantitative analysis of secur...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is an artifact for the research paper “VariantInc: Automating the Integration of Versioned Soft...